ge_gt_wf_com 9,38
These wf lemmas are used by EqCD
during rewriting to ensure that subterms 
come out in right order.

origin